Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic
نویسندگان
چکیده
منابع مشابه
Fitch-Style Modal Lambda Calculi
Fitch-style modal deduction, in which modalities are eliminated by opening a subordinate proof, and introduced by shutting one, were investigated in the 1990s as a basis for lambda calculi. We show that such calculi have good computational properties for a variety of intuitionistic modal logics. Semantics are given in cartesian closed categories equipped with an adjunction of endofunctors, with...
متن کاملModal Logic As Dialogical Logic
The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notab...
متن کاملModal logic as metalogic
The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's. First a family of propositional logical systems is considered, which is obtained by gradually addin...
متن کاملKripke-style Semantic for Modal Orthomodular Logic
In their 1936 seminal paper, Birkhoff and von Neumann made the proposal of a non-classical logic for quantum mechanics founded on the basic lattice-order properties of all closed subspaces of a Hilbert space. These lattice-order properties are captured in the orthomodular lattice structure, characterized by a weak form of distributivity called orthomodular law. This “weak distributivity”, which...
متن کاملFitch–Style Natural Deduction for Modal Paralogics∗
In this paper, I will present a Fitch–style natural deduction proof theory for modal paralogics (modal logics with gaps and/or gluts for negation). Besides the standard classical subproofs, the presented proof theory also contains modal subproofs, which express what would follow from a hypothesis, in case it would be true in some arbitrary world.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Information Processing
سال: 2019
ISSN: 1882-6652
DOI: 10.2197/ipsjjip.27.77